proof by induction - French English Dictionary